VSE: Controlling the Complexity in Formal Software Developments
نویسندگان
چکیده
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for struc-turing speciications and it supports the development process from the speciication of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent state. An integrated deduction system provides proof support for the deduction problems arising during the development process.
منابع مشابه
Deduction in the Veriication Support Environment (vse)
The reliability of complex software systems is becoming increasingly important for the technical systems they are embedded in. In order to assure the highest levels of trustworthiness of software formal methods for the development of software are required. The VSE-tool was developed by a consortium of German universities and industry to make a tool available which supports this formal developme...
متن کاملDeduction in the Verification Support Environment (VSE)
The reliability of complex software systems is becoming increasingly important for the technical systems they are embedded in. In order to assure the highest levels of trustworthiness of software formal methods for the development of software are required. The VSE-tool was developed by a consortium of German universities and industry to make a tool available which supports this formal developme...
متن کاملFormal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, architecture, and proof support of the system. For illustration a commercial application from the IT-security domain is used.
متن کاملAutomated Reasoning for System Veriication
The paper presents a rather condensed survey of the Veri cation Support Environment VSE-II, a kind of CASE tool for formal software development. VSE-II is currently employed among others within the joint project FairPay on dependability of electronic payment systems. This has caused some remarkable interest in the VSE methodology which motivated the author to prepare the present tutorial introd...
متن کاملUsing Composition Trees to Validate an Entry Profile of Software Engineering Lifecycle Profiles for Very Small Entities (VSEs)
ISO/IEC TR 29110-5-1 provides a Software Engineering life cycle reference model for Very Small Entities on small software projects (less than 6 people month). This paper uses Composition Trees (CT) as a formal notation to model part of this process, and compares it with its counterpart process (which is also modeled in a CT) from ISO/IEC 12207. The outcome of the comparison is a Comparison Comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998